Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
261	Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs Xiaoping Chen1 , Jianmin Ji1 , and Fangzhen Lin2 1 School of Computer Science and Technology, Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2009-10-30 01:45:08 Mathematics Propositional calculus Boolean algebra Stable model semantics Predicate logic Answer set programming Clause Modal logic Algorithm Logic Mathematical logic Logic programming
262	New Rules for Domain Independent Lifted MAP Inference Happy Mittal, Prasoon Goyal Dept. of Comp. Sci. & Engg. I.I.T. Delhi, Hauz Khas New Delhi, 110016, India Add to Reading List Source URL: www.hlt.utdallas.edu Language: English - Date: 2014-10-31 21:58:08 Model theory Predicate logic Propositional calculus Theoretical computer science First-order logic Markov logic network Interpretation Function Atomic formula Logic Mathematical logic Mathematics
263	Computing Loops With at Most One External Support Rule Xiaoping Chen and Jianmin Ji Fangzhen Lin University of Science and Technology of China Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2008-06-17 04:51:14 Mathematics Rules of inference Boolean algebra Propositional calculus Stable model semantics Answer set programming Negation as failure Modal logic Resolution Logic Logic programming Mathematical logic
264	LOGICAL FRAMEWORKS—A BRIEF INTRODUCTION FRANK PFENNING () Carnegie Mellon University Abstract. A logical framework is a meta-language for the formalization of deductive systems. We provide a brief introdu Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2002-01-24 22:28:32 Proof theory Propositional calculus Dependently typed programming Type theory Formal languages First-order logic Natural deduction Higher-order abstract syntax Logical framework Logic Mathematical logic Mathematics
265	Exponential Lower Bounds for AC0 -Frege Imply Superpolynomial Frege Lower Bounds Yuval Filmus1 ? , Toniann Pitassi1 ? , and Rahul Santhanam2 1 University of Toronto, yuvalf, Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2011-06-22 20:53:40 Logic in computer science Automated theorem proving Frege system Propositional calculus Computational complexity theory Proof complexity Function Gottlob Frege Mathematical proof Mathematics Theoretical computer science Mathematical logic
266	J. Child Lang), 251–282. f 2007 Cambridge University Press doi:S0305000906007884 Printed in the United Kingdom What part of no do children not understand ? A usage-based account of multiword negation* Add to Reading List Source URL: www.eva.mpg.de Language: English - Date: 2015-03-17 09:04:37 Propositional calculus Baby talk Infancy Language acquisition Negation Language Linguistics Psycholinguistics Boolean algebra
267	Journal of Articial Intelligence Research286 Submitted 10/14; publishedLazy Model Expansion: Interleaving Grounding with Search Add to Reading List Source URL: www.jair.org Language: English - Date: 2015-02-25 01:32:20 Model theory Propositional calculus Logic programming Predicate logic Interpretation Philosophy of mind FO Literal Structure Mathematical logic Logic Mathematics
268	UNIVERSITY OF EDINBURGH COLLEGE OF SCIENCE AND ENGINEERING SCHOOL OF INFORMATICS FUNCTIONAL PROGRAMMING AND SPECIFICATION (LEVEL 9) Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-05-13 07:45:52 Computer programming Functional languages Propositional calculus Procedural programming languages FO Finite model theory Negation B-tree ML Computing Boolean algebra Software engineering
269	HMC MATHEMATICS Sample Math Major for Students Studying Abroad in the Fall of Junior Year Fall Spring Add to Reading List Source URL: www.math.hmc.edu Language: English - Date: 2003-11-14 20:40:39 Mathematics education 11 Logic Mathematical logic Coding theory Finite fields Propositional calculus Factorization of polynomials over a finite field and irreducibility tests Mathematics Harvard University Math 55
270	The WAC Journal, Vol. 20: NovemberMath and Metaphor: Using Poetry to Teach College Mathematics patrick bahls university of north carolina, asheville Add to Reading List Source URL: wac.colostate.edu Language: English - Date: 2011-01-05 10:22:39 Mathematical logic Mathematical anxiety Language of mathematics Pi Infinity Precalculus Mathematical proof Calculus Propositional calculus Mathematics Philosophy of mathematics Mathematics education

UPDATE